The Logic of Optimality Theory
نویسنده
چکیده
This paper is an attempt to determine the underpinnings of Optimality Theory (henceforth OT; Prince and Smolensky, 1993; McCarthy and Prince, 1993), and what logic might have to do with it.1 This is important because, without this kind of work, very strange misunderstandings of the theory crop up. The work reported here is preliminary, but nothing of this sort has previously been attempted for OT, even though the theory has been around since 1993 and is the predominant framework for phonological research in North America. The goals of the paper are as follows. First, I develop a logical statement of Optimality Theory. Next, I go on to prove some theorems. Third, I go on to show how the framework allows us to reason about partial derivations, and provides promise as the basis of a theory of acquisition and a theory of parsing. The organization of the paper is as follows. First, I provide a review of OT. Next, I introduce the basic logical formulation for a pruned-down version of OT with only one constraint. In the following section, I extend the formulation to treat real OT, where there is more than one constraint. I go on in the next section to prove several theorems. Some of these are simply to show that the formalization is doing the right thing, but some of these are quite important in their own right. Finally, I go on to show how the formalization allows us to reason about derivations given incomplete information. There are a number of results of this paper, but one real important one is that I establish that OT allows for multiple winners. That is, a tableau can have several winning candidates. This may seem obvious to the reader familiar with OT, but many presentations of OT imply or even state that this isn’t so. For example:
منابع مشابه
Optimality Of Monetary And Fiscal Policies In Iran: An Application Of The Stochastic Optimal Control Theory
متن کامل
Degree of Optimality as a Measure of Distance of Power System Operation from Optimal Operation
This paper presents an algorithm based on inter-solutions of having scheduled electricity generation resources and the fuzzy logic as a sublimation tool of outcomes obtained from the schedule inter-solutions. The goal of the algorithm is to bridge the conflicts between minimal cost and other aspects of generation. In the past, the optimal scheduling of electricity generation resources has been ...
متن کاملA Critical Examination of Ibn-Sina’s Theory of the Conditional Syllogism
This paper will examine Ibn Sina’s theory of the Conditional Syllogism from a purely logical point of view, and will lay bare the principles he adopted for founding his theory, and the reason why the newly introduced part of his logic remained undeveloped and eventually was removed from the texts of logic in the later Islamic tradition. As a preliminary discussion, this paper briefly examines I...
متن کاملEfficient Genetic Based Methods for Optimizing the Reversible and Quantum Logic Circuits
Various synthesis methods have been proposed in the literature for reversible and quantum logic circuits. However, there are few algorithms to optimize an existing circuit with multiple constraints simultaneously. In this paper, some heuristics in genetic algorithms (GA) to optimize a given circuit in terms of quantum cost, number of gates, location of garbage outputs, and delay, are proposed. ...
متن کاملEfficient Genetic Based Methods for Optimizing the Reversible and Quantum Logic Circuits
Various synthesis methods have been proposed in the literature for reversible and quantum logic circuits. However, there are few algorithms to optimize an existing circuit with multiple constraints simultaneously. In this paper, some heuristics in genetic algorithms (GA) to optimize a given circuit in terms of quantum cost, number of gates, location of garbage outputs, and delay, are proposed. ...
متن کاملOptimality Theory through Default Logic
Optimality Theory is an approach to linguistic problems which is based on rules with exceptions, resorting to a ranking among rules to resolve conflicts arising from competing rules. In such a way, dealing with linguistic problems amounts to applying rules with exceptions: That is reasoning. A related issue is then about a formalization of the logic at work. An immediate candidate is Default Lo...
متن کامل